/* Benchmarks for the PionterC verifier. */

// list visit


/*@
  @*/
int creatList()
{
  creatList (); 
  return 0;
}
/*@ 
  @*/
  
